Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
171	A level set formulation for Willmore flow M. Droske, M. Rumpf∗ June 2, 2004 Abstract A level set formulation of Willmore flow is derived using the gradient flow perspective. Starting from single embedded surfaces and t Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2010-10-07 11:50:02 Calculus of variations Linear temporal logic Absorbing set
172	Ergodic averages for monotone functions using upper and lower dominating processes Jesper Møller Department of Mathematical Sciences, Aalborg University, Denmark. Kerrie Mengersen Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2006-01-10 11:20:10 Central limit theorem Markov chain Μ operator Linear temporal logic Statistics Probability and statistics Normal distribution
173	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
174	Microsoft Word Add to Reading List Source URL: www.chemistry2011.org Language: English - Date: 2013-03-14 19:04:29 Eigenvalues and eigenvectors Linear algebra Matrix theory Singular value decomposition Matrix Linear temporal logic Μ operator Algebra Mathematics Abstract algebra
175	Convex Two-Layer Modeling ¨ Ozlem Aslan Hao Cheng Dale Schuurmans Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2013-12-15 02:02:39 Latent class model Function Mathematical logic Linear temporal logic Μ operator Mathematics Statistics Perceptron
176	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
177	Economic Theory 23, 601–DOI: s00199Green national accounting with a changing population Geir B. Asheim Add to Reading List Source URL: folk.uio.no Language: English - Date: 2003-11-12 12:24:03 Operator theory Linear temporal logic Μ operator Mathematical analysis Functional analysis Distribution
178	ON A LOWER BOUND FOR THE CONNECTIVITY OF THE INDEPENDENCE COMPLEX OF A GRAPH MICHAÃL ADAMASZEK † Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-10-30 10:03:20 Abstract algebra Algebraic topology Fundamental group Homotopy theory Homeomorphism Graph Linear temporal logic Orbifold Mathematics Graph theory Topology
179	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic
180	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science

UPDATE